programmation logique中文是什么意思

• 逻辑编程

• "programmation"中文翻译    音标：[prɔgramasjɔ̃] f. 节目安排；规划；程序设计，程序编制 f. (影视,
• "logique"中文翻译    音标：[lɔʒ ik] f. 逻辑(学)；逻辑性；推理方式；必然联系，必然结果 a.
• "langage de programmation logique" 中文翻译 :    逻辑编程语言
• "logique" 中文翻译 :    音标：[lɔʒ ik]f. 逻辑(学)；逻辑性；推理方式；必然联系，必然结果a. 合乎逻辑的；逻辑学的；逻辑性强的；必然的a., n. 逻辑学(的)logiqueadj.逻辑的logiquef逻辑logique floue模糊逻辑近义词cartésien, méthodique, rationnel, rigoureux, cohérent, conséquent, forcé, inévitable, naturel, nécessaire
• "programmation" 中文翻译 :    音标：[prɔgramasjɔ̃]f. 节目安排；规划；程序设计，程序编制f. (影视, 广播的)节目安排, 计划的制订, 程序设计programmationf.编程；程序设计近义词grille
• "abduction (logique)" 中文翻译 :    溯因推理
• "analyseur logique" 中文翻译 :    逻辑分析仪
• "arborescence logique" 中文翻译 :    邏輯樹狀結構
• "bombe logique" 中文翻译 :    逻辑炸弹
• "clause (logique)" 中文翻译 :    子句 (逻辑)
• "concept logique" 中文翻译 :    逻辑概念
• "conjonction logique" 中文翻译 :    逻辑与
• "connecteur logique" 中文翻译 :    逻辑运算符
• "correction (logique)" 中文翻译 :    可靠性定理
• "diagramme logique" 中文翻译 :    流程图
• "disjonction logique" 中文翻译 :    逻辑或
• "empirisme logique" 中文翻译 :    逻辑实证主义
• "enregistrement logique" 中文翻译 :    逻辑记录
• "fonction logique" 中文翻译 :    门电路
• "formule logique" 中文翻译 :    合式公式
• "implication (logique)" 中文翻译 :    实质条件
• "imprimante logique" 中文翻译 :    逻辑打印机
• "lecteur logique" 中文翻译 :    逻辑驱动器
• "logique classique" 中文翻译 :    经典逻辑
• "logique combinatoire" 中文翻译 :    组合子逻辑

• Prolog est un langage de programmation logique.
  而Prolog是一种逻辑编程语言。
• La plupart des langages fonctionnant par contraintes ou par programmation logique ainsi que quelques langages déclaratifs sont des langages de cinquième génération.
  多数基於限制式和逻辑推演的编程语言，以及其它一些宣告式的语言，或可归类为第五代编程语言。
• Prolog (PROgrammation LOGique), défini en 1972 par Colmerauer, Roussel et Kowalski (en) est le premier langage de programmation logique.
  Prolog，於1972年由Colmerauer、Roussel，以及Kowalski所设计，是第一个逻辑程式语言。